منابع مشابه
Seminar 7: the Logic of Principia Mathematica
Volume 1 of Principia Mathematica, in which Russell and Whitehead set out their reduction of arithmetic to logic was published in 1910. Although the reduction adopts a conception of number very much like Frege’s, it is developed in a system of logic designed to avoid the paradox that defeated Frege. Avoiding it required giving up the idea that for every formula in the logical language, there is...
متن کاملAn Automated Derivation of the Sentential Calculus of Principia Mathematica from Łukasiewicz's CN
The optimization of computing systems hosted on Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms ...
متن کاملAn Automated Derivation of Łukasiewicz's CN from the Sentential Calculus of Principia Mathematica
The optimization of computing systems that incorporate Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the ...
متن کاملA Review of Mathematica
Hype aside, the program is without question interesting to mathematicians, computer scientists, and engineers because of its combination of a number of technologies that have arisen in initially separate contexts|numerical and symbolic mathematics, graphics, and modern user interfaces. The exploitation of the PostScript language for plotting contributed to its natural t into the package of prog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1912
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1912-02233-4